1. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده: E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
2. Computer-aided verification: 2nd international conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990: proceedings
پدیدآورنده: E .M. clarke, P. P. Kurshan )eds.(
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Digital integrated circuits - Design and construction - Data processing,Congresses ، Computer-aided design
رده :
TK
7874
.
D553
1990a
3. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
پدیدآورنده: E.M. Clarke, R.P. Kurshan editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
TK
7874
.
D55
1990
4. Digital design from zero to one
پدیدآورنده: Daniels, Jerry
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Digital integrated circuits - Design and construction - Data processing
رده :
TK
7874
.
65
.
D36
1996
5. Digital electronics and design with VHDL
پدیدآورنده: Volnei A. Pedroni
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، VHDL )Computer hardware description language(,Design and construction -- Data processing ، Digital integrated circuits
رده :
TK
7885
.
7
.
P43D5
6. Digital electronics and design with VHDL
پدیدآورنده: Pedroni, Volnei A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، VHDL )Computer hardware description language(,Design and construction Data processing ، Digital integrated circuits
رده :
TK
7885
.
7
.
P44
7. Digital electronics and design with VHDL /
پدیدآورنده: Volnei A. Pedroni
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction-- Data processing,VHDL (Computer hardware description language)
رده :
TK7885
.
7
.
P44
2008
8. Digital logic and microprocessor design with vhdl
پدیدآورنده: / Enoch Hwang
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: VHDL (Computer hardware description language),Digital integrated circuits -- Design and construction -- Data processing
رده :
TK7885
.
7
.
H93
2006
9. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده: Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
10. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده: Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
11. High-level test synthesis of digital VLSI circuits
پدیدآورنده: Lee, Mike Tien-Chien
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing
رده :
TK
7874
.
75
.
L44
1997
12. High-performance digital VLSI circuit design
پدیدآورنده: Gu, Richard X.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
G8
1996
13. Logic works 4: interactive circuits - design software for windows and macintosh
پدیدآورنده: Capilano computing systems
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) (خراسان جنوبی)
موضوع: ، Digital integrated circuits - Design and construction - Data processing,، Logic work
رده :
TK
7874
,.
65
.
L66
1998
14. Low-power HF microelectronics: a unified approach
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Linear integrated circuits-- Design and constructions-- Data processing,، Analog-to-digital computers-- Design and construction-- Data processing,، Electric filters-- Design and construction-- Data processing,، Low voltage integrated circuits-- Design and construction-- Data processing,، Microelectronics
رده :
TK
7874
.
L672
1996
15. Modern VLSI design
پدیدآورنده: / Wayne Wolf
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Digital integrated circuits - Design and construction - Data processing,Logic circuits - Design and construction - Data processing,Computer-aided design
رده :
TK
7874
.
65
.
W65
16. Modern VLSI design : a system approach
پدیدآورنده : Wolf, Wayne Hendrix.
موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Logic circuits-- Design and construction-- Data processing,، Computer-aided design
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Modern VLSI design: a systems approach
پدیدآورنده: / Wayne Wolf,Reprint of 1994 ed., Prenitce -Hall Englewood cliffs, ISBN 0-13-116675-1.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: Digital integrated Circuits - Design and construction - Data Processing,Logic Circuits - Design and construction - Data processings,Computer - aided design
18. Modern VLSI design : a systems approach
پدیدآورنده: Wolf, Wayne Hendrix.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Digital integrated circuits - Design and construction - Data processing , Logic circuits - Design and construction - Data processing , Computer-aided design
رده :
TK
7874
.
65
.
W65
19. Modern VLSI design: a systems approach
پدیدآورنده: Wolf, Wayne Hendrix
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Digital integrated circuits- Design and construction- Data processing,، Logic circuits- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
W65
20. SPARK
پدیدآورنده: / Sumit Gupta ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: SPARK (Electronic resource),Digital integrated circuits , Design and construction , Data processing,Digital integrated circuits , Computer simulation,Parallel processing (Electronic computers),Electronic books. , local
رده :
E-BOOK
